17 results for Zohar Manna
-
Anchor for 1 page of results
-
-
-
-
$2.22off
Temporal Verification of Reacti...
Hardback
Published 04 Aug 1995Save $2.22
RRP $115.03- $112.81
-
-
-
$9.69off
Lectures on the Logic of Comput...
Paperback
Published 28 Feb 1987Save $9.69
RRP $60.01- $50.32
-
-
Introduction to Mathematical Th...
Paperback
Published 01 Jan 1974 -
The Deductive Foundations of Co...
Hardback
Published 07 Apr 1993 -
The Logical Basis for Computer ...
Hardback
Published 30 Jun 1985 -
Mathematical Theory of Computat...
Book
Published 31 Jan 1975 -
The Logical Basis for Computer ...
Book
Published 15 Mar 1990 -
Studies in Automatic Programmin...
Book
Published 31 Jan 1978 -
The Calculus of Computation
Paperback
Published 02 Sep 2009 -
Time for Verification Theoretic...
Paperback
Published 30 Jun 2010 -
The Temporal Logic of Reactive ...
Hardback
Published 31 Jan 1992